A Brief Introduction to THOTL
نویسندگان
چکیده
In this paper we extend HOTL (Hypotheses and Observations Testing Logic) to provide a formal framework to test timed systems. The main idea underlying HOTL is to infer whether a set of observations (i.e., results of test applications) allows to claim that the IUT conforms to the specification if a specific set of hypotheses is assumed. In this paper we adapt HOTL to cope with the inclusion of time issues. In addition, we show the soundness and completeness of the new framework, that we call THOTL, with respect to a general notion of timed conformance.
منابع مشابه
THOTL: A Timed Extension of HOTL
THOTL represents a conservative extension ofHOTL (Hypotheses and Observations Testing Logic) to deal with systems where time plays a fundamental role. We adapt some of the HOTL rules to cope with the new framework. In addition, we introduce several specific hypotheses and rules to appropriately express time assumptions. We provide a correctness result of THOTL with respect to a general notion o...
متن کاملA brief introduction to quaternion matrices and linear algebra and on bounded groups of quaternion matrices
The division algebra of real quaternions, as the only noncommutative normed division real algebra up to isomorphism of normed algebras, is of great importance. In this note, first we present a brief introduction to quaternion matrices and quaternion linear algebra. This, among other things, will help us present the counterpart of a theorem of Herman Auerbach in the setting of quaternions. More ...
متن کاملSafe Use of Flammable Endotracheal Tubes During Anesthesia for Laryngeal Laser Surgery-Report of 1024 Cases and a Brief Literature Review
Introduction: One of the major concerns in laryngeal laser surgery is the risk of airway fire. The introduction ofwrapped tubes and metal tubes has reduced the fire hazards. However, these tubes are expensive and do not provide convenient access to the surgical field. There are few laboratory studies addressing the resistance of polyvinylchloride tubes against ignition in the given circum...
متن کاملIncidence of Cardiac Dysrhythmia in COVID-19 Patients Treated with Conventional Medications – A Brief Report of 58 Patients
Introduction: When World Health Organization (WHO) declared that Covid-19 is a pandemic, a wide range of drugs, including antiviral drugs and antibiotics have been taken to treat this disease. This study aimed to evaluate the incidence of cardiac dysrhythmias due to the conventional medications in 58 COVID -19 patients. Methods: This study is a cross-sectional analytical study was performed to...
متن کاملPsychometric Properties of the Brief Form of Professor-Students Rapport Scale-based on Classical Test Theory and Item-Response Theory
Introduction: In order to improve the quality of the teaching process, it is necessary to review the professor-student rapport. The purpose of the present study was to investigate the factor structure and item-response parameters of Professor-Students Rapport Scale-Brief (PSRS-B). Methods: In a descriptive-correlation study, 497 students from Shahid Beheshti University of Medical Sciences were ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007